Hardware Design Rule Checker Using a CAM Architecture
نویسندگان
چکیده
منابع مشابه
A Compositional Rule for Hardware Design Refinement
We present an approach to designing veriied digital systems by a sequence of small local reenements. Reenements in this approach are not limited to a library of predeened transformations for which theorems have been previously established. Rather, the approach relies on localizing the reenement steps in such a way that they can be veriied eeciently by model checking. Toward this end, a composit...
متن کاملA GaAs electrical rule checker
P. Remy , P. Royannez , A. Amara * Laboratoire MASI/CAO-VLSI Université Pierre et Marie Curie 4, place Jussieu, 75252 Paris Cedex 05, France. Email: [email protected] ** Siemens AG HL MI E EM St. Martin Str. 76, 81 541 Munich, Germany. Email: [email protected] *** MASI laboratory member Laboratoire de Microélectronique Institut Supérieur d’Electronique de Paris 21, Rue d’Assas, 75270...
متن کاملUsing a Hardware Model Checker to Verify Software
A variety of new algorithms has begun to enable model checking of industrial-sized netlists. This work attempts to apply that technology to the verification of embedded software: C programs that manipulate integers and contain unstructured control flow, but are not recursive and do not dynamically allocate memory. We describe a synthesis procedure for translating a subset of C into a netlist an...
متن کاملImplementing a Rule-Based Contract Compliance Checker
The paper describes the design and implementation of an independent, third party contract monitoring service called Contract Compliance Checker (CCC). The CCC is provided with the specification of the contract in force, and is capable of observing and logging the relevant business-to-business (B2B) interaction events, in order to determine whether the actions of the business partners are consis...
متن کاملA rule-based Afan Oromo Grammar Checker
Natural language processing (NLP) is a subfield of computer science, with strong connections to artificial intelligence. One area of NLP is concerned with creating proofing systems, such as grammar checker. Grammar checker determines the syntactical correctness of a sentence which is mostly used in word processors and compilers. For languages, such as Afan Oromo, advanced tools have been lackin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: VLSI Design
سال: 1996
ISSN: 1065-514X,1563-5171
DOI: 10.1155/1996/63890